Otter Sheep
نویسندگان
چکیده
منابع مشابه
OTTER Proofs in Tarskian Geometry
We report on a project to use OTTER to find proofs of the theorems in Tarskian geometry proved in Szmielew’s part (Part I) of [9]. These theorems start with fundamental properties of betweenness, and end with the development of geometric definitions of addition and multiplication that permit the representation of models of geometry as planes over Euclidean fields, or over real-closed fields in ...
متن کاملVocal repertoire of the social giant otter.
According to the "social intelligence hypothesis," species with complex social interactions have more sophisticated communication systems. Giant otters (Pteronura brasiliensis) live in groups with complex social interactions. It is likely that the vocal communication of giant otters is more sophisticated than previous studies suggest. The objectives of the current study were to describe the air...
متن کاملSea otter health: Challenging a pet hypothesis
A recent series of studies on tagged sea otters (Enhydra lutris nereis) challenges the hypothesis that sea otters are sentinels of a dirty ocean, in particular, that pet cats are the main source of exposure to Toxoplasma gondii in central California. Counter to expectations, sea otters from unpopulated stretches of coastline are less healthy and more exposed to parasites than city-associated ot...
متن کاملSCOTT: Semantically Constrained Otter System Description
This is the announcement of SCOTT 1.0 from the proceedings of CADE-12. SCOTT combines OTTER and FINDER into a new theorem prover.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The American Naturalist
سال: 1908
ISSN: 0003-0147,1537-5323
DOI: 10.1086/278933